fatou's lemma proof in measure theory